Đã từng có rất nhiều tranh luận về ranh giới giữa Ngữ nghĩa học và Ngữ dụng học [14] và đã có rất nhiều những cách thức hình thức hóa khác nhau về những khía cạnh của Ngữ dụng học có liên quan trực tiếp tới ngữ cảnh. Những trường hợp tiêu biểu là những tranh luận về Ngữ nghĩa học chỉ hiệu (Semantics of indexicals) và vấn đề về mô tả sở chỉ, một chủ đề được mở ra sau những học thuyết của Keith Donnellan[15]. Một lý thuyết logic thông dụng về hình thức hóa Ngữ dụng học đã được Cảllo Dalla Pozza phát triển, mà theo ông, có thể liên kết Ngữ nghĩa học cổ điển (gán giá trị cho nội dung các mệnh đề là đúng hoặc sai) và Ngữ nghĩa học trực giác (gán với Lực ngôn trung). Cách biểu diễn ngữ dụng học hình thức được bắt nguồn từ ý tưởng của Frege về tín hiệu khẳng định như hình thức của hành vi khẳng định.